An SMT-Based Solver for Continuous t-norm Based Logics
نویسندگان
چکیده
منابع مشابه
On Conjectures in t-Norm Based Fuzzy Logics
This paper is a humble homage to Enric Trillas. Following his foundational contributions on models of ordinary reasoning in an algebraic setting, we study here elements of these models, like conjectures and hypothesis, in the logical framework of continuous t-norm based fuzzy logics. We consider notions of consistency, conjecture and hypothesis arising from two natural families of consequence o...
متن کاملLocal and relativized local finiteness in t-norm based structures
This paper discusses the property of local finiteness for t-norm monoids and extensions of them. The focus is (i) on t-norm bimonoids, which are of interest in the context of weighted automata, (ii) on those extensions of t-norm monoids which are reducts of t-algebras, i.e. of the basic semantic entities for the (fuzzy) logics of left-continuous and of continuous t-norms, and (iii) on extension...
متن کاملImproving Local Search for Bit-Vector Logics in SMT with Path Propagation
Bit-blasting is the main approach for solving word-level constraints in SAT Modulo Theories (SMT) for bit-vector logics. However, in practice it often reaches its limits, even if combined with sophisticated rewriting and simplification techniques. In this paper, we extended a recently proposed alternative based on stochastic local search (SLS) and improve neighbor selection based on down propag...
متن کاملIntegrated Model Checking of Static Structure and Dynamic Behavior using Temporal Description Logics
This paper presents a new notation for the formal representation of the static structure and dynamic behavior of software, based on description logics and temporal logics. The static structure as described by UML class diagrams is represented formally by description logics while the dynamic behavior is represented by linear temporal logic and state transition systems. We integrate these descrip...
متن کاملOn strongly standard complete fuzzy logics: MTL∗ and its expansions
Finding strongly standard complete axiomatizations for t-norm based fuzzy logics (i.e. complete for deductions with infinite sets of premises w.r.t. semantics on the real unit interval [0, 1]) is still an open problem in general, even though results are already available for some particular cases like some infinitary logics based on a continuous t-norm or certain expansions of Monoidal t-norm b...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012